Type system - PDFSEARCH.IO - Document Search Engine

Type system
Results: 9144

#	Item
71	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Add to Reading List Source URL: frenchy64.github.io Language: English - Date: 2016-08-15 14:26:54 Software engineering Computing Computer programming Functional languages Concurrent programming languages Programming languages Procedural programming languages Cross-platform software Clojure Multiple dispatch Type system Dynamic programming language
72	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
73	Mineral resources English version – SOSI standard 4.0 Mineral resources English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:35 Mathematics Algebra Abstract algebra Universal identifiers Complex analysis Pi Integer Number Numeral system Data type 0.999... METAR
74	Contract Title: Dept. of Navy Bureau of Medicine & Surgery (BUMED) Defense Medical Logistics Standard Support System Facility Management Sustainment (DMLSS-FM) Contract Contract Number: GS-06F-0169Z, Contract Type: FFP T Add to Reading List Source URL: fortsillapache.com Language: English - Date: 2016-08-04 22:08:58 Economy Business Systems engineering Military logistics Integrated logistics support Government procurement in the United States Facility management Logistics Combat service support Marine Corps Systems Command
75	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
76	CMDh meeting with representative of Interested Parties 19 May 2015  Type IA variation label implementation guidance. Add to Reading List Source URL: www.hma.eu Language: English - Date: 2015-05-29 10:18:53 Economy Pharmaceutical industry Pharmaceuticals policy Business Marketing authorization Packaging and labeling Quality management system
77	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java
78	Annex to the certificate concerning the examination of conformity No. KPdatedScope of application The belt monitoring system in the pit of type "Beltbreak-detection-unit" is used to securely shutdo Add to Reading List Source URL: www.wachendorff-automation.it Language: English - Date: 2012-10-31 07:48:13 Cryptography Mechanics Belt Elevator Public key certificate KP Pulley
79	The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, Add to Reading List Source URL: cervone.psu.edu Language: English - Date: 2015-11-18 09:12:46 Theoretical computer science Algorithms Formal methods Software engineering HindleyMilner type system Lambda calculus Type theory Mathematics
80	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system

UPDATE